ABC[2]

A="argument", B="basic value", C=?

An intermediate language for the ABC abstract machine for the implementation of functional languages, similar to the spineless tagless G-machine.

"Compiling Clean to Abstract ABC-Machine Code", J. E. W. Smetsers, TR 89-20, University of Nijmegen, Netherlands, 1989.

"The ABC-Machine: A Sequential Stack-Based Abstract Machine for Graph Rewriting", P. Koopman et al, TR 88-1, University of Nijmegen, 1988.

Functional Programming and Parallel Graph Rewriting, Rinus Plasmeijer et al, Addison-Wesley, 1993, ISBN 0201416638.